Theoretical Foundations of Software Relativization in Technological Programming Systems

نویسندگان

چکیده

The research claims the need for paradigmatic changes in technological foundations of programming, which involve a transition from an individual-subjective programming paradigm to intersubjective one. proposed is based on understanding as activity conditioned by program likeness, and subject-oriented complementarity its active passive forms. To implement such transition, objectification active-passive considered, main prerequisite real modernization reflexive-transitive closure analogy generated subject. Determinant role subject context environments concept — essence—simile, presented form one or another specification. Passive constituent conditioning objectified similitude whole consequence assimilation, namely program. achieve this goal, tool logical-mathematical specifications semantic-syntactic aspects proposed. This was tested examples that demonstrated general features application environment generation systems their use. In particular, use allows create more efficient have higher quality flexibility performing tasks. obtained results confirm are possible options solving problem further technologization also demonstrate

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Theoretical foundations of software ecosystems

Software ecosystems have become a defined and active field of research based on the recent emergence of new open business models leading to new roles and patterns for collaboration, innovation, and value proposition. In this paper we look into the theoretical foundations of this new research field. We review recent publications to describe the present theorization; we discuss the relevance of t...

متن کامل

Information systems theoretical foundations

Some basic concepts concerning information systems are defined and investigated. With every information system a query language is associated and its syntax and semantics is formally defined. Some elementary properties of the query language are stated. The presented approach leads to a new information systems organization. The presented idea was implemented and the implementation shows many adv...

متن کامل

Multi-Dimensional Logic Programming: Theoretical Foundations

This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs ...

متن کامل

Theoretical Foundations for Practical ‘Totally Functional Programming’

Interpretation is an implicit part of today’s programming; it has great power but is overused and has significant costs. For example, interpreters are typically significantly hard to understand and hard to reason about. The methodology of “Totally Functional Programming” (TFP) is a reasoned attempt to redress the problem of interpretation. It incorporates an awareness of the undesirability of i...

متن کامل

The Theoretical Foundations of Jus Cogens in International Law

International Law has it's Constituent elements (legal systems, regimes and collections of rules); Those have  interrelations from which legal networks are created. Having this in mind,  the question is whether these Constituent elements only have horizental nexus or are ordered by means of factors which unified them in a vertical manner and because of that International Law is named legal orde...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ?????? ??????????? ?????????????? ?????????

سال: 2023

ISSN: ['1997-9266', '1997-9274']

DOI: https://doi.org/10.31649/1997-9266-2023-167-2-72-80